1. HSCC'11 : Proceedings of the 14th International Conference on Hybrid Systems : computation and control, April 12-14, 2011, Chicago, Illinois, USA
پدیدآورنده : sponsored by ACM SIGBED and part of CPS Week; supported by National Science Foundation and NEC
کتابخانه: (طهران)
موضوع : Congresses ، Hybrid computers,Congresses ، Digital control systems
رده :
QA
76
.
38
.
H72
2011
2. Hybrid and real-time systems : International Workshop, HART'97 Grenoble, France, March 26-28, 1997 : proceedings
پدیدآورنده : Oded maler )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Hybrid computers,Congresses ، Real-time data processing,Congresses ، Digital control systems
رده :
QA
76
.
L28
Vol
.
1201
3. Hybrid systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Hybrid computers ; Congresses. ; Digital control systems ; Congresses. ;
4. Hybrid systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Hybrid computers ; Congresses. ; Digital control systems ; Congresses. ;
5. Hybrid systems II
پدیدآورنده : Panos Antsaklis ... ]et al.[, )eds(
کتابخانه: (طهران)
موضوع : Congresses ، Hybrid computers,Congresses ، Digital control systems
رده :
QA
76
.
L28
Vol
.
999
6. Hybrid systems III : verification and control
پدیدآورنده : Rajeev Alur ... ]et al.[, )eds(
کتابخانه: (طهران)
موضوع : Congresses ، Hybrid computers,Congresses ، Digital control systems
رده :
QA
76
.
L28
Vol
.
1066
7. Hybrid systems : computation and control : Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings
پدیدآورنده : Nancy A. Lynch, Bruce H. Korgh, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Hybrid computers,Congresses ، Digital control systems
رده :
QA
76
.
L28
Vol
.
1790
